Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
701	Dual Decomposition for Parsing with Non-Projective Head Automata Terry Koo Alexander M. Rush Michael Collins Tommi Jaakkola David Sontag MIT CSAIL, Cambridge, MA 02139, USA {maestro,srush,mcollins,tommi,dsontag}@csail.mi Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-09-01 17:45:56 Theoretical computer science Markov models Convex optimization Linear programming Viterbi algorithm Perceptron Combinatory logic Dynamic programming Operations research Mathematics Applied mathematics
702	THE THE REVISED REVISED KINDERGARTEN KINDERGARTEN –– GRADE GRADE 99 MATHEMATICS Add to Reading List Source URL: www.education.alberta.ca Language: English - Date: 2013-08-22 17:26:21 Mathematics education Algebraic logic Linear algebra Algebra tile Elementary algebra Equation Algebra
703	7. Baroclinic dynamics 7.1 Two-layer models Consider a system consisting of two immiscible fluids of density ρ 1 and ρ 2 , with ρ 1 < ρ 2 . In the resting state, the fluids occupy layers of equal depth, H , as shown Add to Reading List Source URL: www.gfdl.noaa.gov Language: English Temporal logic Symbol Character encoding Digital typography Linear temporal logic
704	A Worst-Case Comparison between Temporal Diﬀerence and Residual Gradient with Linear Function Approximation Lihong Li [removed] Department of Computer Science, Rutgers University, 110 Frelinghuysen Road, Pi Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-04-18 14:23:56 Logical syntax Metalogic Philosophical logic Propositional calculus Natural deduction Logic Deduction Entailment
705	THE THE REVISED REVISED KINDERGARTEN KINDERGARTEN –– GRADE GRADE 99 MATHEMATICS Add to Reading List Source URL: education.alberta.ca Language: English - Date: 2013-08-22 17:26:21 Mathematics education Algebraic logic Linear algebra Algebra tile Elementary algebra Equation Algebra
706	Learning Random Walks to Rank Nodes in Graphs Alekh Agarwal Soumen Chakrabarti IIT Bombay Abstract Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-12-01 11:26:20 Multivariable calculus PageRank Reputation management Search engine optimization Laplace operator Kullback–Leibler divergence Linear temporal logic Mathematical analysis Calculus Differential operators
707	Feature Selection Using Regularization in Approximate Linear Programs for Markov Decision Processes Marek Petrik* [removed] Gavin Taylor† Add to Reading List Source URL: www.icml2010.org Language: English - Date: 2010-06-13 09:06:51 Linear temporal logic Functional analysis Distribution Representation theory
708	1 A Combinatorial Bound on the List Size Yuval Cassuto and Jehoshua Bruck California Institute of Technology Electrical Engineering Department Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2004-05-27 12:55:47 Theoretical computer science List decoding Linear code Block code Symbol Reed–Solomon error correction Entailment Johnson bound Coding theory Logic Mathematics
709	jappliedeconometrics10junio04.dvi Add to Reading List Source URL: www.clevelandfed.org Language: English - Date: 2004-08-23 21:09:26 Control theory Estimation theory Monte Carlo methods Linear filters Kalman filter Lyapunov stability Entailment Particle filter Normal distribution Logic Statistics Robot control
710	Sample Paper for the amsmath and lucidabr Packages File name: lucida-amsmath.tex TEX Users Group & American Mathematical Society Version 2.1, 28 November 2005 Add to Reading List Source URL: tug.org Language: English - Date: 2005-11-28 11:44:17 Logic in computer science Algebra Operator theory Mathematical analysis Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus

UPDATE